System F
/herp-technote/System F
Existential types
— the existentially quantified counterparts of universal types
System F<: — extends system F with subtyping
System U
F Sharp
System F - Wikipedia
System F - Wikipedia